A Note on the Quasi-antiorder in a Semigroup
نویسندگان
چکیده
Connections between quasi-antiorder on a semigroup with apartness and a naturally defined quasi-antiorder relation on factor semigroup (according to congruence and anti-congruence) are presented. AMS Mathematics Subject Classification (2000): 03F55, 20M99
منابع مشابه
On Regular Anti-congruence in Anti-ordered Semigroups
For an anti-congruence q we say that it is regular anti-congruence on semigroup (S,=, =, ·, α) ordered under anti-order α if there exists an antiorder θ on S/q such that the natural epimorphism is a reverse isotone homomorphism of semigroups. Anti-congruence q is regular if there exists a quasi-antiorder σ on S under α such that q = σ ∪ σ−1. Besides, for regular anti-congruence q on S, a constr...
متن کاملA Theorem on Anti - Ordered Factor - Semigroups
Let K be an anti-ideal of a semigroup (S,=, =, ·, θ) with apartness. A construction of the anti-congruence Q(K) and the quasi-antiorder θ, generated by K, are presented. Besides, a construction of the anti-order relation Θ on syntactic semigroup S/Q(K), generated by θ, is given in Bishop’s constructive mathematics.
متن کاملA Complete Quasi-antiorder Is the Intersection of a Collection of Quasi-antiorders
Setting of this paper is Bishop's constructive mathematics. For a relation σ on a set with apartness is called quasi-antiorder if it is consistent and cotransitive. The quasi-antiorder σ is complete if holds . 0 1 / = σ σ − ∩ In this paper the following assertion ‘A quasi-antiorder is the intersection of a collection of quasi-antiorders.’ is given.
متن کاملSome Characterizations of Filed Product of Quasi-antiorders
It is known that the filed product of two quasi-antiorders need not to be a quasi-antiorder. After some preparations, we give some sufficient conditions in order that the filed product of two quasi-antiorder relations on the same set is a quasi-antiorder again. 2000Mathematics Subject Classification: Primary 03F65, Secondary 04A05, 08A02
متن کاملRelatively Inherently Nonfinitely Q-based Semigroups
We prove that every semigroup S whose quasivariety contains a 3-nilpotent semigroup or a semigroup of index more than 2 has no finite basis for its quasi-identities provided that one of the following properties holds: • S is finite; • S has a faithful representation by injective partial maps on a set; • S has a faithful representation by order preserving maps on a chain. As a corollary it is sh...
متن کامل